计算代数方程组孤立奇异解的符号数值方法

求解代数方程组是计算代数几何的最基本问题之一,孤立奇异解的计算则是其中最具挑战性的课题之一,在科学与工程计算中有着广泛的应用,如机器人、计算机视觉、机器学习、人工智能、运筹学、密码学和控制论等.本文结合作者的研究成果,综述了符号数值方法在计算代数系统孤立奇异解、特别是近似奇异解精化与验证方面的研究进展,并对未来的研究方向提出了展望.     

K-g-框架的稳定性与不等式

K-g-框架是将算子K引入到g-框架中的一种特殊框架.采用泛函分析中的技巧和方法,研究K-g-框架的稳定性,并得到了四个K-g-框架在扰动情况下稳定的充分条件.此外,结合算子K和框架算子S衍生出K-g-框架的三个等式,并通过引入参数λ建立关于K-g-框架的一些不等式.     

大型偏心结构吊装欠约束问题研究

吊装施工过程中被吊模块的水平度是作业要求的重要指标,通常需要增加配重调平。传统有限元方法需要补充约束以消除单元刚体位移,且需要重复计算平衡方程来求解调平载荷,效率不高。将模块的运动分解为随动坐标系的整体运动以及相对该坐标系的弹性变形,可将欠约束问题化为多体系统的静平衡问题。基于虚功率原理推导了吊装平顺时刻的节点力平衡方程以及相应的切线刚度矩阵,并将配重表示为基础配重与载荷系数相乘的形式。通过对节点力平衡方程求导,得到一组以载荷系数为自变量的微分方程,通过求解微分方程并结合水平度判据,可快速搜寻满足水平度要求的载荷系数。数值算例表明,该方法在解决偏心模块吊装欠约束问题方面具有明显的优势,在确定配重载荷方面具有较快的速度和合理的精度。     

Versatile anisotropic mesh adaptation methodology applied to pure quantity of interest error estimator. Steady,laminar incompressible flow

We introduce a new flexible mesh adaptation approach to efficiently compute a quantity of interest by the finite element method. Efficiently, we mean that the method provides an evaluation of that quantity up to a predetermined accuracy at a lower computational cost than other classical methods. The central pillar of the method is our scalar error estimator based on sensitivities of the quantity of interest to the residuals. These sensitivities result from the computation of a continuous adjoint problem. The mesh adaptation strategy can drive anisotropic mesh adaptation from a general scalar error contribution of each element. The full potential of our error estimator is then reached. The proposed method is validated by evaluating the lift, the drag, and the hydraulic losses on a 2D benchmark case: the flow around a cylinder at a Reynolds number of 20.     

An analysis of overlapping Schwarz method for a weakly coupled system of singularly perturbed convection-diffusion equations

In this article, we have developed an overlapping Schwarz method for a weakly coupled system of convection-diffusion equations. The method splits the original domain into two overlapping subdomains. A hybrid difference scheme is proposed in which on the boundary layer region, we use the central finite difference scheme on a uniform mesh, whereas on the nonlayer region, we use the mid-point difference scheme on a uniform mesh. It is shown that the numerical approximations converge in the maximum norm to the exact solution. We have proved that, when appropriate subdomains are used, the method produces almost second-order convergence. Furthermore, it is shown that two iterations are sufficient to achieve the expected accuracy. Numerical examples are presented to support the theoretical results. The main advantage of this method used with the proposed scheme is that it reduces iteration counts very much and easily identifies in which iteration the Schwarz iterate terminates.